Intersection Number of Paths Lying on a Digital Surface and a New Jordan Theorem
نویسندگان
چکیده
The purpose of this paper is to define the notion of “real” intersection between paths drawn on the 3d digital boundary of a connected object. We consider two kinds of paths for different adjacencies, and define the algebraic number of oriented intersections between these two paths. We show that this intersection number is invariant under any homotopic transformation we apply on the two paths. Already, this intersection number allows us to prove a Jordan curve theorem for some surfels curves which lie on a digital surface, and appears as a good tool for proving theorems in digital topology about surfaces.
منابع مشابه
A new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملON THE SYSTEM OF LEVEL-ELEMENTS INDUCED BY AN L-SUBSET
This paper focuses on the relationship between an $L$-subset and the system of level-elements induced by it, where the underlying lattice $L$ is a complete residuated lattice and the domain set of $L$-subset is an $L$-partially ordered set $(X,P)$. Firstly, we obtain the sufficient and necessary condition that an $L$-subset is represented by its system of level-elements. Then, a new representat...
متن کاملExtension of Krull's intersection theorem for fuzzy module
In this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules. It shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. We investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. Finally we extend Krull's intersection theorem of fuzzy ideals by using concept $mu$-adic comp...
متن کاملGeneric axiomatized digital surface-structures
In digital topology, Euclidean n-space Rn is usually modeled either by the set of points of a discrete grid, or by the set of n-cells in a convex cell complex whose union is Rn. For commonly used grids and complexes in the cases n = 2 and 3, certain pairs of adjacency relations (κ, λ) on the grid points or n-cells (such as (4,8) and (8,4) on Z2) are known to be “good pairs”. For these pairs of ...
متن کاملA new approach for assessing stability of rock slopes considering centroids of weak zones
The intersection lines between discontinuity surfaces and their intersection points on the visible surfaces of any engineering structure may be the instability indicators. This paper describes a new approach to modelling the intersecting lines and points that would provide the first evaluation of any instability in an engineering structure characterized by the failure modes. In this work, the i...
متن کامل